Developing Safe Control Systems using Patterns for Assurance
نویسندگان
چکیده
The Safe Control Systems (SaCS) method is a pattern-based method supporting the development of conceptual designs for safety critical systems. A pattern language offers support for the method by six different kinds of basic patterns, operators for combining patterns, and a graphical notation for visualising a pattern composition. Intended users of SaCS are system developers, safety engineers and HW/SW engineers. The method has so far been applied in two cases within different industrial domains. This paper demonstrates and presents experiences from the application of SaCS within the railway domain. We consider an interlocking system that controls the appliances of a railway station. We argue that SaCS effectively supports the establishment of requirements, a design satisfying the requirements, and an outline of a safety demonstration for the design. Keywords-conceptual design; pattern language; development processes; safety;
منابع مشابه
A Systematic Approach for Developing Software Safety Arguments
It is becoming increasingly common to develop safety arguments (also called assurance arguments) to demonstrate that the software aspects of a system are acceptably safe to operate. A software safety argument enables a compelling justification of the sufficiency of the software to be provided, whilst also giving the software developer flexibility to adopt the development approach that is most a...
متن کاملSaCS: A Method and a Pattern Language for the Development of Conceptual Safety Designs
Flight control systems, railway interlocking systems, and nuclear reactor protection systems are examples of safety critical systems from different industrial domains. A safety critical system within any of these domains requires some type of acceptance from a safety authority prior to commissioning. The minimum prerequisite for achieving acceptance is to comply with relevant normative requirem...
متن کاملA Distributed Safety-Critical System for Real-Time Train Control
An architecture and methodology for executing a train control application in an ultra-safe manner is presented in this paper. Prior work in advanced train control systems are summarized along with their assumptions and drawbacks. A flexible architecture that allows fault-tolerant and fail-safe operation is presented for a distributed control system. A safety assurance technique which detects er...
متن کاملIntelligent Control System Design for Car Following Maneuver Based on the Driver’s Instantaneous Behavior
Due to the increasing demand for traveling in public transportation systems and increasing traffic of vehicles, nowadays vehicles are getting to be intelligent to increase safety, reduce the probability of accident and also financial costs. Therefore, today, most vehicles are equipped with multiple safety control and vehicle navigation systems. In the process of developing such systems, simulat...
متن کاملFormal Methods For Developing High Assurance Computer Systems: Working Group Report
High assurance computer systems are computer systems where convincing evidence is required that the system satis es a collection of critical properties. To operate correctly, these systems must satisfy properties such as safety and security. Examples of high assurance systems include ight control systems, medical systems, and control systems for nuclear plants. In addition, increased reliance o...
متن کامل